ExCAPE Annual Report of Activities April 2014 to MarchOverview

Source URL: excape.cis.upenn.edu

• Theoretical computer science
• Electronic engineering
• Digital electronics
• Music
• Electronic design automation
• Formal verification
• Logic in computer science
• High-level synthesis
• Robotics
• Domain-specific language
• Finite-state machine
• Model checking

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing

Original version appeared in the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters (Extended Version) Jan Midtgaard Norman Ramsey

Source URL: www.cs.tufts.edu

• Logic in computer science
• Greek letters
• Denotational semantics
• Eval
• Lua
• Normal distribution
• San
• Semantics

Running head: Inductive inferences and exploratory play Word, thought, and deed: The role of object categories in children’s inductive inferences and exploratory play Laura E. Schulz1, Holly R. Standing2, and Elizabe

Source URL: eccl.mit.edu

• Philosophy
• Logic
• Epistemology
• Reasoning
• Philosophy of science
• Inductive reasoning
• Causal inference
• Causality
• New riddle of induction
• Causal reasoning
• Reason
• Inference

Rational Randomness: The role of sampling in an algorithmic account of preschooler’s causal learning Bonawitz, E., Gopnik, A., Denison, S., Griffiths, T. L. University of California, Berkeley; Berkeley, CA 94720

Source URL: ccdlab.rutgers.edu

• Statistics
• Philosophy
• Logic
• Statistical inference
• Philosophy of science
• Statistical theory
• Reasoning
• Bayesian inference
• Statistical forecasting
• Bayesian network
• Bayesian statistics
• Inductive reasoning

On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Constructivism
• Mathematics
• Computability theory
• Mathematical logic
• Mathematical proofs
• Functions and mappings
• Abstraction
• Proof theory
• Realizability
• Constructive proof
• Primitive recursive function
• operator

Recommender Systems; Contextual Multi-Armed Bandit Algorithms for the purpose of targeted advertisement within e-commerce Master of Science Thesis in Computer Science: Algorithms, Languages and Logic

Source URL: publications.lib.chalmers.se

PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Theoretical computer science
• Proof theory
• Logic in computer science
• Models of computation
• Formal methods
• Metalogic
• Denotational semantics
• Linear logic
• Natural deduction
• Cut-elimination theorem

Appendix E: Some challenges of a human- and computerreadable semantic representation of mathematics For computers to deal intelligently with a mathematical result, the result must be codified in an unambiguous semantic m

Source URL: www.wolframfoundation.org

• Mathematics
• Academia
• Theoretical computer science
• Semantics
• Logic
• Semantic memory
• Semantic wiki

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗

Source URL: excape.cis.upenn.edu

• Logic
• Temporal logic
• Philosophical logic
• Mathematical logic
• Abstraction
• Linear temporal logic
• Logic in computer science
• Supervisory control theory
• Non-classical logic
• CTL*
• Modal logic
• Quantifier